More from this Author

Advanced Topics in Types and Programming Languages

by Benjamin C. Pierce (Editor)

Theoretical Aspects of Computer Software

by Naoki Kobayashi (Editor), Benjamin C. Pierce (Editor)